Move VS language-service logic tests to FSharp.Compiler.Service.Tests#20033
Merged
Conversation
Contributor
✅ No release notes required |
T-Gro
force-pushed
the
tests/salsa-tests-logic
branch
3 times, most recently
from
July 7, 2026 13:22
2b223cb to
b434d50
Compare
T-Gro
marked this pull request as ready for review
July 8, 2026 13:21
github-actions
Bot
added
the
AI-Tooling-Check-Bypassed
Port completion, quick info, parameter info, go-to-definition, and diagnostics coverage from the Windows-only VS Salsa suite to the cross-platform FSharp.Compiler.Service.Tests. The legacy suite keeps only the tests that genuinely exercise Visual Studio integration. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…Info helper - ScriptDiagnostics closure: use assumeDotNetFramework=false/useSdkRefs=true on coreclr so the script closure resolves FSharp.Core where no .NET Framework exists (Linux/Mac/Win-transparent). - ScriptOptions SurfaceOrderOfHashes: guard #if !NETCOREAPP; it asserts desktop-GAC assemblies (System.Runtime.Remoting/System.Transactions) that cannot resolve on a Core-only host. - Legacy ParameterInfo: delete the now-callerless TestSystematicParameterInfo helper; its wrapper tests were migrated to FCS and a leftover [<Fact>] on the parameterized member failed discovery (0ms). Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…the transparent compiler The migrated legacy test only checked that the resolvable reference produced no squiggle; the whole-closure assertClosureNoDiagnostics over-translated it. The transparent compiler surfaces the deliberately-missing reference as a warning (the classic one does not), so filter that expected warning before asserting none remain. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Reference/#load script checks funnelled through a shared "Test.fsx" identity, so the .NET Framework FCS checker's filename-keyed script-closure cache leaked one test's resolved/failed references and their diagnostics into another under concurrency (empty #r tooltips; phantom "'' is not a valid assembly name" squiggles). Route those checks through a unique script identity via getParseAndCheckResultsUniqueName. Plain-code tests keep the fast shared path. Remove 13 tests whose asserted behaviour is already covered: duplicates within the migrated set (tooltip PriorityQueue/exception/module-alias, gotodef record fields, paraminfo single-arg/generic-location, an if-clause completion that also lives in the completion suite) and two diagnostics covered by executed ComponentTests (FS0010 negative enum literal, FS0433 entrypoint-not-last). Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
T-Gro
force-pushed
the
tests/salsa-tests-logic
branch
from
July 10, 2026 15:02
f588e1e to
fc3dae3
Compare
abonie
reviewed
Jul 15, 2026
abonie
reviewed
Jul 15, 2026
abonie
requested changes
Jul 15, 2026
github-project-automation
Bot
moved this from New
to In Progress
in F# Compiler and Tooling
Member
|
This is wonderful! I'm glad the new test helpers work well for the code completion tests! 🙂 @T-Gro Could you also update 'Go to definition' tests, so they use the new It could probably either use an additional helper in Checker.fs, or maybe get the selected symbol using the existing API and then use it for the navigation. Though, I'm not sure whether the second approach would test the VS behavior properly. Or maybe add a similar module with VS-specific helpers to the VS-related project, if this navigation is handled by VS? |
Member
Author
Yeah good idea, I will need to strike a balance between "ease at 1 test" vs "try to reuse code snippet for multiple caret positions" |
- Completion (Members): match on `CancelKeyPress`, the real System.Console
event, so the item-kind assertion is actually exercised
- TypeCheckerRecovery (Bug2283): use getParseAndCheckResultsUniqueName so the
test's failed `#r` cannot leak into other tests' script closures
- Add Checker.getDeclarationLocation and move goto-definition tests onto the
`{caret}` marker: single-caret tests embed `{caret}` inline (routing the
result-only asserts through the new helper); the shared caret-insertion helper
is kept only where one source is probed at multiple caret positions
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 9d20cd22-45dc-411f-9163-185fd6dd54d9
Builds on the multi-caret support (SourceContext.extractOrderedMarkedSources) cherry-picked from #20077. Multi-position goto-def tests now embed ordered {caret1}/{caret2}/... markers in a single source and assert via a new assertGoToDefinitionOnLines helper, instead of the markCaretAfterLeadingIdent substring helper. Removes the now-unused markCaretAfterLeadingIdent and isIdentChar. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 9d20cd22-45dc-411f-9163-185fd6dd54d9
# Conflicts: # tests/FSharp.Compiler.Service.Tests/Checker.fs
T-Gro
enabled auto-merge (squash)
July 23, 2026 10:22
abonie
approved these changes
Jul 23, 2026
github-project-automation
Bot
moved this from In Progress
to Done
in F# Compiler and Tooling
This was referenced Jul 24, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The Visual Studio Salsa unit tests exercised compiler-service logic — completion, quick info, parameter info, go-to-definition, and diagnostics — but only ran on Windows through a mock VS harness. This ports that coverage to the cross-platform FSharp.Compiler.Service.Tests, so it runs on every target the compiler does and no longer depends on Visual Studio.
The ports are behaviour-preserving: each assertion moves onto the equivalent FCS API. The legacy suite keeps only the tests that genuinely exercise Visual Studio integration (project-system, editor events, solution lifecycle).